On ordinals accessible by infinitary languages
نویسندگان
چکیده
منابع مشابه
Definability in infinitary languages and invariance by automorphims
A b s t r a c t. Given a L
متن کاملColoring ordinals by reals
We introduce several new set-theoretic axioms formulated in terms of coloring of ordinals by reals. We show that these axioms generalize the axioms considered by I. Juhász, L. Soukup and Z. Szentmiklóssy [4], and give a class of partial orderings including Cohen p.o.-sets which force these axioms.
متن کاملInfinitary Axiomatization of the Equational Theory of Context-Free Languages
Algebraic reasoning about programming language constructs has been a popular research topic for many years. At the propositional level, the theory of flowchart programs and linear recursion are well handled by such systems as Kleene algebra and iteration theories, systems that characterize the equational theory of the regular sets. To handle more general forms of recursion including procedures ...
متن کاملToward a Structure Theory of Regular Infinitary Trace Languages
The family of regular languages of infinite words is structured into a hierarchy where each level is characterized by a class of deterministic ω-automata – the class of deterministic Büchi automata being the most prominent among them. In this paper, we analyze the situation of regular languages of infinite Mazurkiewicz traces that model non-terminating, concurrent behaviors of distributed syste...
متن کاملLocally Boolean Domains and Universal Models for Infinitary Sequential Languages
In the first part of this Thesis we develop the theory of locally boolean domains and bistable maps (as introduced in [Lai05b]) and show that the category of locally boolean domains and bistable maps is equivalent to the category of Curien-Lamarche games and observably sequential functions (cf. [CCF94]). Further we show that the category of locally boolean domains has inverse limits of ω-chains...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2005
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm186-3-1